1. Logic program synthesis and transformation--Meta-programming in Logic, 4th International Workshops, LOPSTR'94 and META'94Pisa, Italy, June 20-21 1994 : proceedings
پدیدآورنده : Laurent Fribourg, Franco Turini, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
883
2. Logic program synthesis and transformation - meta-programming in logic :
پدیدآورنده : Laurent Fribourg, Franco Turini (Eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming -- Congresses.,Logic programming.,Programming languages (Electronic computers) -- Congresses.
